ACM Transactions on Programming Languages and Systems

1991. V. 13 № 1/4, 2/3, 3/3, 4/4

1990. V. 12 № 4/4

1989. V. 11 № 1/4, 2/4, 3/3, 4/4